type alloy - translation to ρωσικά
Diclib.com
Λεξικό ChatGPT
Εισάγετε μια λέξη ή φράση σε οποιαδήποτε γλώσσα 👆
Γλώσσα:

Μετάφραση και ανάλυση λέξεων από την τεχνητή νοημοσύνη ChatGPT

Σε αυτήν τη σελίδα μπορείτε να λάβετε μια λεπτομερή ανάλυση μιας λέξης ή μιας φράσης, η οποία δημιουργήθηκε χρησιμοποιώντας το ChatGPT, την καλύτερη τεχνολογία τεχνητής νοημοσύνης μέχρι σήμερα:

  • πώς χρησιμοποιείται η λέξη
  • συχνότητα χρήσης
  • χρησιμοποιείται πιο συχνά στον προφορικό ή γραπτό λόγο
  • επιλογές μετάφρασης λέξεων
  • παραδείγματα χρήσης (πολλές φράσεις με μετάφραση)
  • ετυμολογία

type alloy - translation to ρωσικά

SPECIFICATION LANGUAGE
Alloy Analyzer; Alloy language
  • Alloy Analyzer.

type alloy      
типографский сплав, гарт
aluminium alloy         
  • Bootie Folding Cycle]]
  • s2cid=8956425}}</ref>
ALLOY IN WHICH ALUMINIUM IS THE PREDOMINANT METAL
Aluminum alloy; Aluminum alloys; Aluminium alloys; 5083 aluminium; Aluminium-alloy; Aircraft aluminium; Aircraft aluminum; Aerospace aluminium; Aerospace aluminum; Light alloy; 7175-T6 aluminum alloy; Aluminium Alloys; Aluminium Alloy; Al alloy; 7000 series aluminium alloy; Aluminium alloy 6351; Pure Aluminium alloys

общая лексика

алюминиевый сплав

aluminum alloys         
  • Bootie Folding Cycle]]
  • s2cid=8956425}}</ref>
ALLOY IN WHICH ALUMINIUM IS THE PREDOMINANT METAL
Aluminum alloy; Aluminum alloys; Aluminium alloys; 5083 aluminium; Aluminium-alloy; Aircraft aluminium; Aircraft aluminum; Aerospace aluminium; Aerospace aluminum; Light alloy; 7175-T6 aluminum alloy; Aluminium Alloys; Aluminium Alloy; Al alloy; 7000 series aluminium alloy; Aluminium alloy 6351; Pure Aluminium alloys
алюминиевые сплавы

Ορισμός

ALLOY
<language> A language by Thanasis Mitsolides <mitsolid@cs.nyu.edu> which combines functional programming, object-oriented programming and logic programming ideas, and is suitable for massively parallel systems. Evaluating modes support serial or parallel execution, {eager evaluation} or lazy evaluation, nondeterminism or multiple solutions etc. ALLOY is simple as it only requires 29 primitives in all (half of which are for {object oriented programming} support). It runs on SPARC. ftp://cs.nyu.edu/pub/local/alloy/. ["The Design and Implementation of ALLOY, a Parallel Higher Level Programming Language", Thanasis Mitsolides <mitsolid@cs2.nyu.edu>, PhD Thesis NYU 1990]. (1991-06-11)

Βικιπαίδεια

Alloy (specification language)

In computer science and software engineering, Alloy is a declarative specification language for expressing complex structural constraints and behavior in a software system. Alloy provides a simple structural modeling tool based on first-order logic. Alloy is targeted at the creation of micro-models that can then be automatically checked for correctness. Alloy specifications can be checked using the Alloy Analyzer.

Although Alloy is designed with automatic analysis in mind, Alloy differs from many specification languages designed for model-checking in that it permits the definition of infinite models. The Alloy Analyzer is designed to perform finite scope checks even on infinite models.

The Alloy language and analyzer are developed by a team led by Daniel Jackson at the Massachusetts Institute of Technology in the United States.

Μετάφραση του &#39type alloy&#39 σε Ρωσικά